Yordanov, Boyan : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (23)
Les plus populaires
Liste
- Liste
- Tableau

1

Surface Modification of Tools by Electrical Discharge Treatment in Electrolyte

Krastev, Dimitar, Yordanov, Boyan, Paunov, Veselin

Journal:

Micro and Nanosystems

Année:

2014

Langue:

english

Fichier:

PDF, 359 KB

english, 2014

2

Formal analysis of piecewise affine systems through formula-guided refinement

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, Calin Belta

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 832 KB

english, 2013

3

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Yordanov, Boyan, Tumova, Jana, Cerna, Ivana, Barnat, Jiří, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Année:

2012

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2012

4

Influence of Lactic Acid on the Formation of Aqueous Two-Phase Systems Containing Poly(ethylene glycol) and Phosphates

Yankov, Dragomir S., Trusler, J. P. Martin, Yordanov, Boyan Y., Stateva, Roumiana P.

Journal:

Journal of Chemical & Engineering Data

Année:

2008

Langue:

english

Fichier:

PDF, 279 KB

english, 2008

5

Computational Design of Nucleic Acid Feedback Control Circuits

Yordanov, Boyan, Kim, Jongmin, Petersen, Rasmus L., Shudy, Angelina, Kulkarni, Vishwesh V., Phillips, Andrew

Journal:

ACS Synthetic Biology

Année:

2014

Langue:

english

Fichier:

PDF, 4.66 MB

english, 2014

6

The Sequence-Dependent Unfolding Pathway Plays a Critical Role in the Amyloidogenicity of Transthyretin †

Yang, Mingfeng, Yordanov, Boyan, Levy, Yaakov, Brüschweiler, Rafael, Huo, Shuanghong

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 665 KB

english, 2006

7

A Computational Method for Automated Characterization of Genetic Components

Yordanov, Boyan, Dalchau, Neil, Grant, Paul K., Pedersen, Michael, Emmott, Stephen, Haseloff, Jim, Phillips, Andrew

Journal:

ACS Synthetic Biology

Année:

2014

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2014

8

Peptide Plane Can Flip in Two Opposite Directions: Implication in Amyloid Formation of Transthyretin

Yang, Mingfeng, Lei, Ming, Yordanov, Boyan, Huo, Shuanghong

Journal:

Journal of Physical Chemistry B

Année:

2006

Langue:

english

Fichier:

PDF, 181 KB

english, 2006

9

[IEEE 2008 American Control Conference (ACC '08) - Seattle, WA (2008.06.11-2008.06.13)] 2008 American Control Conference - Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks

Yordanov, Boyan, Belta, Calin

Année:

2008

Langue:

english

Fichier:

PDF, 339 KB

english, 2008

10

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Formal analysis of piecewise affine systems through formula-guided refinement

Yordanov, Boyan, Tumova, Jana, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Année:

2010

Langue:

english

Fichier:

PDF, 684 KB

english, 2010

11

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - A symbolic approach to controlling piecewise affine systems

Tumova, Jana, Yordanov, Boyan, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Année:

2010

Langue:

english

Fichier:

PDF, 349 KB

english, 2010

12

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Temporal logic control of discrete-time piecewise affine systems

Yordanov, Boyan, Belta, Calin

Année:

2009

Langue:

english

Fichier:

PDF, 525 KB

english, 2009

13

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - A formal verification approach to the design of synthetic gene networks

Yordanov, Boyan, Belta, Calin

Année:

2011

Langue:

english

Fichier:

PDF, 431 KB

english, 2011

14

Investigations of Plasma-Chemically Produced Nanodispersed Si3N4 for Modification of Tool Steels

Yordanov, Boyan, Krastev, Dimitar

Journal:

Solid State Phenomena

Année:

2010

Langue:

english

Fichier:

PDF, 4.88 MB

english, 2010

15

About the Surface Hardening of Tool Steels by Electrical Discharge Treatment in Electrolyte

Krastev, Dimitar, Yordanov, Boyan

Journal:

Solid State Phenomena

Année:

2010

Langue:

english

Fichier:

PDF, 3.70 MB

english, 2010

16

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Shavit, Yoli, Yordanov, Boyan, Dunn, Sara-Jane, Wintersteiger, Christoph M., Otani, Tomoki, Hamadi, Youssef, Livesey, Frederick J., Kugler, Hillel

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2016

17

A method to identify and analyze biological programs through automated reasoning

Yordanov, Boyan, Dunn, Sara-Jane, Kugler, Hillel, Smith, Austin, Martello, Graziano, Emmott, Stephen

Journal:

npj Systems Biology and Applications

Année:

2016

Langue:

english

Fichier:

PDF, 4.31 MB

english, 2016

18

[Studies in Systems, Decision and Control] Formal Methods for Discrete-Time Dynamical Systems Volume 89 ||

Belta, Calin, Yordanov, Boyan, Aydin Gol, Ebru

Année:

2017

Langue:

english

Fichier:

PDF, 9.85 MB

english, 2017

19

Predicting DNA hybridization kinetics from sequence

Zhang, Jinny X., Fang, John Z., Duan, Wei, Wu, Lucia R., Zhang, Angela W., Dalchau, Neil, Yordanov, Boyan, Petersen, Rasmus, Phillips, Andrew, Zhang, David Yu

Journal:

Nature Chemistry

Année:

2017

Langue:

english

Fichier:

PDF, 4.65 MB

english, 2017

20

Synthesizing and tuning stochastic chemical reaction networks with specified behaviours

Murphy, Niall, Petersen, Rasmus, Phillips, Andrew, Yordanov, Boyan, Dalchau, Neil

Journal:

Journal of The Royal Society Interface

Année:

2018

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2018

21

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs

Dunn, Sara-Jane, Kugler, Hillel, Yordanov, Boyan

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2019

Langue:

english

Fichier:

PDF, 2.44 MB

english, 2019

22

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs

Dunn, Sara-Jane, Kugler, Hillel, Yordanov, Boyan

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2019

Fichier:

PDF, 2.44 MB

2019

23

Discovering Essential Multiple Gene Effects through Large Scale Optimization: an Application to Human Cancer Metabolism

Occhipinti, Annalisa, Hamadi, Youssef, Kugler, Hillel, Wintersteiger, Christoph, Yordanov, Boyan, Angione, Claudio

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Année:

2020

Fichier:

PDF, 8.85 MB

2020